$z$ != $f$($x$) $\Rightarrow$ $P$($a$;$z$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$$x$ $\in$ dom($f$)) $\Rightarrow$ $P$($x$;$f$($x$))